How to compute antiderivatives
نویسنده
چکیده
The roots of this problem go back to the beginnings of calculus and it is even sometimes called “Newton’s problem”. Historically, it has played a major role in the development of the theory of the integral. For example, it was Lebesgue’s primary motivation behind his theory of measure and integration. Indeed, the Lebesgue integral solves the primitive problem for the important special case when f(x) is bounded. Yet, as Lebesgue noted with apparent regret, there are very simple derivatives (e.g., the derivative of F (0) = 0, F (x) = x sin(1/x) for x 6= 0) which cannot be inverted using his integral. The general problem of the primitive was finally solved in 1912 by A. Denjoy. But his integration process was more complicated than that of Lebesgue. Denjoy’s basic idea was to first calculate the definite integral R b
منابع مشابه
Integral Categories and Calculus Categories
Differential categories are now an established abstract setting for differentiation. The paper presents the parallel development for integration by axiomatizing an integral transformation, sA : !A→ !A⊗A, in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense...
متن کاملExtensions by Antiderivatives, Exponentials of Integrals and by Iterated Logarithms
Let F be a characteristic zero differential field with an algebraically closed field of constants C, E ⊃ F be a no new constant extension by antiderivatives of F and let y1, · · · yn be antiderivatives of E. The antiderivatives y1, · · · , yn of E are called J-I-E antiderivatives if y′i ∈ E satisfies certain conditions. We will discuss a new proof for the KolchinOstrowski theorem and generalize...
متن کامل. S C ] 1 9 Ja n 20 14 Parallel Telescoping and Parameterized Picard – Vessiot Theory ∗
Parallel telescoping is a natural generalization of differential creativetelescoping for single integrals to line integrals. It computes a linear ordinary differential operator L, called a parallel telescoper, for several multivariate functions, such that the applications of L to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteei...
متن کاملPrimal-Dual Symmetric Intrinsic Methods for Finding Antiderivatives of Cyclically Monotone Operators
A fundamental result due to Rockafellar states that every cyclically monotone operatorA admits an antiderivative f in the sense that the graph ofA is contained in the graph of the subdifferential operator ∂f . Given a method m that assigns every finite cyclically monotone operator A some antiderivative mA, we say that the method is primal-dual symmetric if m applied to the inverse of A produces...
متن کاملTangent Lines to Curves Arising from Automorphic Distributions
Automorphic distributions arise in connection with boundary values of modular forms and Maass forms. In most cases, these distributions have antiderivatives that are continuous functions. We shall look at the result of graphing the real vs. imaginary parts of these functions. Because of the automorphic properties of the distributions we consider, the graphs of their antiderivatives are curves w...
متن کاملSymbolic-Numeric Integration of Rational Functions
We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using He...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 1 شماره
صفحات -
تاریخ انتشار 1995